Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
431	X-Charge Credit Card Processing Software “The eXtreme bank terminal on your PC” X-Charge™ provides merchants with a fast and Add to Reading List Source URL: www.posintl.com Language: English - Date: 2009-02-20 07:53:33 Merchant services Finance Credit card Debit card Address Verification System Cheque Merchant account ITransact Payment systems Electronic commerce Business
432	Formal Verification of Object Layout for C++ Multiple Inheritance Tahina Ramananandro Gabriel Dos Reis ∗ Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2010-11-09 03:50:06 C++ Object-oriented programming C programming language Cross-platform software Procedural programming languages C++ classes Virtual function Virtual method table C++11 Software engineering Computing Computer programming
433	Synthesis of Reconfiguration Charts12 Technical report Tobias Eckardt and Stefan Henkler Heinz Nixdorf Institute Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2011-11-08 14:37:41 ISO standards Software architecture Diagrams Knowledge representation Unified Modeling Language Component-based software engineering System Formal verification Mechatronics Software engineering Science Computing
434	Formal Verification of Object Layout for C++ Multiple Inheritance Tahina Ramananandro Gabriel Dos Reis ∗ Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-11-09 03:50:06 C++ Object-oriented programming C programming language Cross-platform software Procedural programming languages C++ classes Virtual function Virtual method table C++11 Software engineering Computing Computer programming
435	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A formally verified compiler back-end Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-10-29 04:36:18 Compiler construction Programming language implementation Type theory Compilers Procedural programming languages Compiler Type system Formal verification Type safety Software engineering Computing Software
436	A Simple, Verified Validator for Software Pipelining (verification pearl) Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-11-02 08:42:35 Symbol Software pipelining
437	Table of Contents Navigation Document Manager Sync Manager File Access Field Verification Measurements Add to Reading List Source URL: www.bluebeam.com Language: English - Date: 2015-02-18 12:05:52 File hosting Centralized computing Data synchronization Dropbox Web 2.0 IOS version history Software Cloud applications Computing
438	Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-04-07 07:40:29 Compilers Programming language implementation Functional languages Formal methods Compiler correctness Compiler Compcert Xavier Leroy Code generation Software Computing Compiler construction
439	Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-11-09 01:03:49 Computing Programming language theory Compiler construction Models of computation Instruction scheduling Denotational semantics Trace scheduling Abstract interpretation Assembly language Compiler optimizations Programming language implementation Software engineering
440	F RIT S Cab: Fujaba Re-Engineering Tool Suite for Mechatronic Systems∗ Stefan Henkler, Moritz Breit, Christopher Brink, Markus Böger, Christian Brenner, Kathrin Bröker, Uwe Pohlmann, Manel Richtermeier, Julian Suck, Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2011-11-08 14:37:30 Applied mathematics Model checking Worst-case execution time System Component-based software engineering Formal verification Software architecture Mechatronics Behavior Trees Embedded systems Software engineering Technology

UPDATE